Belief, information acquisition, and trust in multi-agent systems--A modal logic formulation
نویسنده
چکیده
In this paper, we consider the influence of trust on the assimilation of acquired information into an agent’s belief. By use of modal logic, we semantically and axiomatically characterize the relationship among belief, information acquisition and trust. The belief and information acquisition operators are respectively represented by KD45 and KD normal modalities, whereas trust is denoted by a modal operator with minimal semantics. One characteristic axiom of the basic system is if agent i believes that agent j has told him the truth of p and he trusts the judgement of j on p, then he will also believe p. In addition to the basic system, some variants and further axioms for trust and information acquisition are also presented to show the expressive richness of the logic. The applications of the logic to computer security and database reasoning are also suggested by its connection with some previous works. 2003 Elsevier B.V. All rights reserved.
منابع مشابه
Logical Systems for Reasoning about Multi-agent Belief, Information Acquisition and Trust
In this paper, we consider the influence of trust on the assimilation of acquired information into an agent’s belief. By use of modal logic tools, we characterize the relationship among belief, information acquisition and trust both semantically and axiomatically. The belief and information acquisition are respectively represented by KD45 and KD normal modal operators, whereas trust is expresse...
متن کاملModal tableaux for verifying security protocols
To develop theories to specify and reason about various aspects of multi-agent systems, many researchers have proposed the use of modal logics such as belief logics, logics of knowledge, and logics of norms. As multi-agent systems operate in dynamic environments, there is also a need to model the evolution of multi-agent systems through time. In order to introduce a temporal dimension to a beli...
متن کاملBelief Updates in Multiple Agent Systems
We give a model for a multi-agent system which describes how the knowledge and beliefs of agents should change when they receive new information. The formal tool we use for this description is a combination of modal and dynamic logic. Two core notions in our model of belief update are the expansion of the knowledge and beliefs of an agent, and the processing of new information by an agent. An e...
متن کاملA Modal Framework for Relating Belief and Signed Information
The aim of this paper is to propose a modal framework for reasoning about signed information. This modal framework allows agents to keep track of information source as long as they receive information in a multi-agent system. Agents gain that they can elaborate and justify their own current belief state by considering a reliability relation over the sources of information. The belief elaboratio...
متن کاملTransitivity and Propagation of Trust in Information Sources: An Analysis in Modal Logic
The paper is about trust in information sources in the context of Multi Agents Systems and it is focused on information and trust propagation. Trust definition is inspired from Cognitive Science and it is seen as a truster’s belief in some trustee’s properties which are called: sincerity, competence, vigilance, cooperativity, validity and completeness. These definitions are formalized in Modal ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Artif. Intell.
دوره 149 شماره
صفحات -
تاریخ انتشار 2003